Int -> [Arg_t] -> [(Agent_t, [Int])] -> IO()
